#include <iostream>
#include <cstdio>
#include "DTDParserDriver.h"

int main(int argc, char **argv)
{
  DTDParserDriver driver;
   
  if (!driver.parse (argv[1]))
    std::cout << "Parsing OK" << std::endl;


  return 0;
}
 
